home *** CD-ROM | disk | FTP | other *** search
/ Tech Arsenal 1 / Tech Arsenal (Arsenal Computer).ISO / tek-04 / prolog_2.zip / PUZZLES.ZIP / SUCCESS.PRO < prev    next >
Text File  |  1986-07-20  |  128b  |  5 lines

  1. s(X,Y) :- X1 is X + 1, (Y is X1 ; s(X1,Y) ).
  2.  
  3. s1(X,Y) :- X1 is X + 1, Y is X + 1.
  4. s1(X,Y) :- X1 is X + 1, s1(X1, Y).
  5.